
#ifndef __S_13_FlagBit_doChange_H__
#define __S_13_FlagBit_doChange_H__

#include "property_data.h"

void P_13_1_FaultValue_doChange(int newValue);


#endif /* __S_13_FlagBit_doChange_H__ */

